<div id='wikiFooter'>
<?php
  if ($lastedit)
    print "last modified $lastedit $lasttime<br />";
  print $menu.$banner."<br />".$timer;
?>
</div>
